Consistency maintenance for evolving feature models

Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations of the decisions a customer can make in SPLs is feature models (FMs). An FM represents the relationships among common and variable features in an SPL. Features are a representation of the characteristics in a system that are relevant to customers. FMs are subject to change since the set of features and their relationships can change along an SPL lifecycle. Due to this evolution, the consistency of FMs may be compromised. There exist some approaches to detect and explain inconsistencies in FMs, however this process can take a long time for large FMs. In this paper we present a complementary approach to dealing with inconsistencies in FM evolution scenarios that improves the performance for existing approaches reducing the impact of change to the smallest part of an FM that changes. To achieve our goal, we formalize FMs from an ontological perspective and define constraints that must be satisfied in FMs to be consistent. We define a set of primitive operations that modify FMs and which are responsible for the FM evolution, analyzing their impact on the FM consistency. We propose a set of predefined strategies to keep the consistency for error-prone operations. As a proof-of-concept we present the results of our experiments, where we check for the effectiveness and efficiency of our approach in FMs with thousands of features. Although our approach is limited by the kinds of consistency constraints and the primitive operations we define, the experiments present a significant improvement in performance results in those cases where they are applicable.Comisión Interministerial de Ciencia y Tecnología TIN2009-07366Junta de Andalucía TIC-5906Junta de Andalucía P07-TIC-253

HIV-1 Infection Induces Interleukin-1β Production via TLR8 Protein-dependent and NLRP3 Inflammasome Mechanisms in Human Monocytes

The induction of inflammatory cytokines such as IL-1β is associated with the progression of human immunodeficiency virus, type 1 (HIV-1) disease or AIDS. Unlike most inflammatory cytokines that are regulated by NF-κB at the transcriptional level, production of mature IL-1β also depends on inflammasome activation. The mechanism by which HIV-1 induces pro-IL-1β expression and activates inflammasomes to cleave pro-IL-1β into its bioactive form is not clearly defined. We report here that HIV-1 infection in human monocytes efficiently induced IL-1β expression and inflammasome activation. Toll-like receptor 8 (TLR8) was required for inducing pro-IL-1β expression, whereas the NLRP3 inflammasome was required for IL-1β maturation and release. Furthermore, the lysosomal protease cathepsin B and HIV-1 induced production of reactive oxygen species were critical for HIV-induced inflammasome activation and IL-1β production. HIV-1 entry, reverse transcription, and integration were all required for both pro-IL-1β expression and inflammasome activation. Finally, we show that HIV-1-derived RNA was sufficient to induce both pro-IL-1β expression and inflammasome activation. We conclude that HIV-1 infection induced the expression of pro-IL-1β via TLR8-mediated mechanisms and activated caspase-1 through the NLRP3 inflammasome to cleave pro-IL-1β into bioactive IL-1β. These findings help to elucidate mechanisms of HIV-1 disease progression and identify novel targets for treating HIV-1 induced inflammation and immune activation

Vibrational relaxation dynamics in layered perovskite quantum wells

Organic-inorganic layered perovskites are two-dimensional quantum wells with layers of lead-halide octahedra stacked between organic ligand barriers. The combination of their dielectric confinement and ionic sublattice results in excitonic excitations with substantial binding energies that are strongly coupled to the surrounding soft, polar lattice. However, the ligand environment in layered perovskites can significantly alter their optical properties due to the complex dynamic disorder of soft perovskite lattice. Here, we observe the dynamic disorder through phonon dephasing lifetimes initiated by ultrafast photoexcitation employing high-resolution resonant impulsive stimulated Raman spectroscopy of a variety of ligand substitutions. We demonstrate that vibrational relaxation in layered perovskite formed from flexible alkyl-amines as organic barriers is fast and relatively independent of the lattice temperature. Relaxation in aromatic amine based layered perovskite is slower, though still fast relative to pure inorganic lead bromide lattices, with a rate that is temperature dependent. Using molecular dynamics simulations, we explain the fast rates of relaxation by quantifying the large anharmonic coupling of the optical modes with the ligand layers and rationalize the temperature independence due to their amorphous packing. This work provides a molecular and time-domain depiction of the relaxation of nascent optical excitations and opens opportunities to understand how they couple to the complex layered perovskite lattice, elucidating design principles for optoelectronic devices.Comment: 7 pages, 4 figures, S

RING finger 138 deregulation distorts NF-кB signaling and facilities colitis switch to aggressive malignancy

Prolonged activation of nuclear factor (NF)-кB signaling significantly contributes to the development of colorectal cancer (CRC). New therapeutic opportunities are emerging from targeting this distorted cell signaling transduction. Here, we discovered the critical role of RING finger 138 (RNF138) in CRC tumorigenesis through regulating the NF-кB signaling, which is independent of its Ubiquitin-E3 ligase activity involved in DNA damage response. RNF138(−/−) mice were hyper-susceptible to the switch from colitis to aggressive malignancy, which coincided with sustained aberrant NF-кB signaling in the colonic cells. Furthermore, RNF138 suppresses the activation of NF-кB signaling pathway through preventing the translocation of NIK and IKK-Beta Binding Protein (NIBP) to the cytoplasm, which requires the ubiquitin interaction motif (UIM) domain. More importantly, we uncovered a significant correlation between poor prognosis and the downregulation of RNF138 associated with reinforced NF-кB signaling in clinical settings, raising the possibility of RNF138 dysregulation as an indicator for the therapeutic intervention targeting NF-кB signaling. Using the xenograft models built upon either RNF138-dificient CRC cells or the cells derived from the RNF138-dysregulated CRC patients, we demonstrated that the inhibition of NF-кB signaling effectively hampered tumor growth. Overall, our work defined the pathogenic role of aberrant NF-кB signaling due to RNF138 downregulation in the cascade events from the colitis switch to colonic neoplastic transformation and progression, and also highlights the possibility of targeting the NF-кB signaling in treating specific subtypes of CRC indicated by RNF138-ablation

Engineering Plasmonic Environments for 2D Materials and 2D-Based Photodetectors

Two-dimensional layered materials are considered ideal platforms to study novel small-scale optoelectronic devices due to their unique electronic structures and fantastic physical properties. However, it is urgent to further improve the light–matter interaction in these materials because their light absorption efficiency is limited by the atomically thin thickness. One of the promising approaches is to engineer the plasmonic environment around 2D materials for modulating light–matter interaction in 2D materials. This method greatly benefits from the advances in the development of nanofabrication and out-plane van der Waals interaction of 2D materials. In this paper, we review a series of recent works on 2D materials integrated with plasmonic environments, including the plasmonic-enhanced photoluminescence quantum yield, strong coupling between plasmons and excitons, nonlinear optics in plasmonic nanocavities, manipulation of chiral optical signals in hybrid nanostructures, and the improvement of the performance of optoelectronic devices based on composite systems